手机与电视互动业务及技术实现

介绍了手机与电视互动的几种业务模式,分析了技术实现流程,对推广该业务的限制条件进行了分析,并对业务应用前景作出了预测.     

EPG广告在数字电视中的应用

随着我国数字电视的发展,用户数的不断增加,广电运营商逐渐致力于开展更多的增值业务,以拓宽收入来源,寻找一种新的赢利模式。介绍了一种能够在各地广电网络中开展的数字电视增值业务--EPG广告系统,详细阐述了EPG广告系统的类型、工作原理等关键技术要点。     

LTL logistics networks with differentiated services

This research addresses the problem of designing a LTL logistics network over individual lanes by offering different delivery services (1-day, 2-day, 3-day). A network design is proposed which links lane-specific delivery service choices and service profitability to the hub location-allocation decisions. A hybrid-heuristic is developed which uses a search interval reduction technique with a meta-heuristic. The performance of the hybrid-heuristic is evaluated in a computational study. A factorial experiment design with real world data is used to analyze the network structure, service choices and shipment flows, which results in managerial insights about the design and operation of a LTL logistics network with differentiated services.     

A formal model of the Semantic Web Service Ontology (WSMO)

Semantic Web Service, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry. The Web Service Modelling Ontology (WSMO) has been proposed as an enabling framework for the total/partial automation of the tasks (e.g., discovery, selection, composition, mediation, execution, monitoring, etc.) involved in both intra- and inter-enterprise integration of Web services. To support the standardisation and tool support of WSMO, a formal model of the language is highly desirable. As several variants of WSMO have been proposed by the WSMO community, which are still under development, the syntax and semantics of WSMO should be formally defined to facilitate easy reuse and future development. In this paper, we present a formal Object-Z formal model of WSMO, where different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in this paper, can be used to identify and eliminate errors present in existing documentation.     

Turbulent times: tourists’ attitudes towards wind turbines in the Southern Highlands in Iceland

As a response to the threat of climate change, many nations are increasing their use of renewable energy, including wind energy. Large wind farms often conflict with other land uses, particularly tourism, which is a growing industry worldwide. In Iceland, tourism has recently become the largest export sector, with majority of tourists travelling to the country to experience its nature. This paper examines tourists’ opinions and perceptions of wind power development in the Southern Highlands of Iceland and compares how number, size and proximity of wind turbines, and the landscape in which they are situated, influence tourists’ perceptions. The study is based on an on-site questionnaire survey conducted in 2015. The results indicate that one-third of the travellers would be less likely to visit the Southern Highlands if a proposed wind farm were built, and two-thirds think that wind turbines would decrease the area’s attractiveness.     

Model for practical prediction of natural carbonation in reinforced concrete: Part 1-formulation

A model is proposed for prediction of natural carbonation in reinforced concrete (RC) structures, and is potentially applicable to existing and new RC structures. The major components of the model comprise mathematical functions applied to predict the influence of concrete composition, and environmental factors on natural carbonation.This paper introduces the model concept and explains its structure including derivation, optimization and calibration. Over 163 data sets taken from a 10-year carbonation study were used in the model development and calibration. Only the experimental data that were based on outdoor natural exposure environment were employed in this research. Also in this study, the proposed model is compared with fib-Model Code 2010 using carbonation predictions generated from 346 data sets involving real world, highway structures. It is shown that the proposed model is comparably accurate and involves mainly basic tests with no major anticipated costs.     

Towards new web services based supervisory systems in complex industrial organizations: Basic principles and case study

Mobility, cooperation and the information access of the different human actors within a complex industrial organization are some of the concerns of web-based HMI design. In this paper we highlight the application of some key concepts of web services for the specification and design of a complex supervisory web-based HMI. Hence, a novel approach based on a service oriented architecture and web services allowing flexible and transparent interaction between the field devices and human operators currently being considered is now possible. An overall design framework is presented and discussed. A real representative case study illustrating this approach is described and discussed from the human-machine interaction point of view, as well as further work.     

Fast phase switching within the bunch train of the PHIN photo-injector at CERN using fiber-optic modulators on the drive laser

The future Compact Linear Collider (CLIC) e⁻/e⁺ collider is based on the two-beam acceleration concept, whereby interleaving electron bunches of the drive beam through a delay loop and combiner rings as well as high peak RF power at 12 GHz are created locally to accelerate a second beam, the main beam. One of the main objectives of the currently operational CLIC Test Facility (CTF3) is to demonstrate beam combination from 1.5 GHz to 12 GHz, which requires satellite-free fast phase-switching of the drive beam with sub-ns speed. The PHIN photo-injector, with the photo-injector laser, provides flexibility in the time structure of the electron bunches produced, by direct manipulation of the laser pulses. A novel fiber modulator-based phase-switching technique allows clean and fast phase-switch at 1.5 GHz. This paper describes the switching system based on fiber-optic modulators, and the measurements carried out on both the laser and the electron beam to verify the scheme.     

国内外服务认证发展综述

近年来,伴随着全球由“工业经济”向“服务经济”转型,以及服务贸易的迅速发展,服务认证作为一种保证服务质量,促进服务业和服务贸易发展的重要手段已被世界上越来越多的国家和地区接受,成为国际惯例。文章从分析国际、国内服务认证发展现状入手,在此基础上提出了我国开展服务认证的建议。